3.5.40 \(\int (f x)^m (d+e x^r)^3 (a+b \log (c x^n)) \, dx\) [440]

Optimal. Leaf size=233 \[ -\frac {3 b d^2 e n x^{1+r} (f x)^m}{(1+m+r)^2}-\frac {3 b d e^2 n x^{1+2 r} (f x)^m}{(1+m+2 r)^2}-\frac {b e^3 n x^{1+3 r} (f x)^m}{(1+m+3 r)^2}-\frac {b d^3 n (f x)^{1+m}}{f (1+m)^2}+\frac {3 d^2 e x^{1+r} (f x)^m \left (a+b \log \left (c x^n\right )\right )}{1+m+r}+\frac {3 d e^2 x^{1+2 r} (f x)^m \left (a+b \log \left (c x^n\right )\right )}{1+m+2 r}+\frac {e^3 x^{1+3 r} (f x)^m \left (a+b \log \left (c x^n\right )\right )}{1+m+3 r}+\frac {d^3 (f x)^{1+m} \left (a+b \log \left (c x^n\right )\right )}{f (1+m)} \]

[Out]

-3*b*d^2*e*n*x^(1+r)*(f*x)^m/(1+m+r)^2-3*b*d*e^2*n*x^(1+2*r)*(f*x)^m/(1+m+2*r)^2-b*e^3*n*x^(1+3*r)*(f*x)^m/(1+
m+3*r)^2-b*d^3*n*(f*x)^(1+m)/f/(1+m)^2+3*d^2*e*x^(1+r)*(f*x)^m*(a+b*ln(c*x^n))/(1+m+r)+3*d*e^2*x^(1+2*r)*(f*x)
^m*(a+b*ln(c*x^n))/(1+m+2*r)+e^3*x^(1+3*r)*(f*x)^m*(a+b*ln(c*x^n))/(1+m+3*r)+d^3*(f*x)^(1+m)*(a+b*ln(c*x^n))/f
/(1+m)

________________________________________________________________________________________

Rubi [A]
time = 1.89, antiderivative size = 233, normalized size of antiderivative = 1.00, number of steps used = 9, number of rules used = 5, integrand size = 25, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.200, Rules used = {276, 20, 30, 2392, 14} \begin {gather*} \frac {d^3 (f x)^{m+1} \left (a+b \log \left (c x^n\right )\right )}{f (m+1)}+\frac {3 d^2 e x^{r+1} (f x)^m \left (a+b \log \left (c x^n\right )\right )}{m+r+1}+\frac {3 d e^2 x^{2 r+1} (f x)^m \left (a+b \log \left (c x^n\right )\right )}{m+2 r+1}+\frac {e^3 x^{3 r+1} (f x)^m \left (a+b \log \left (c x^n\right )\right )}{m+3 r+1}-\frac {b d^3 n (f x)^{m+1}}{f (m+1)^2}-\frac {3 b d^2 e n x^{r+1} (f x)^m}{(m+r+1)^2}-\frac {3 b d e^2 n x^{2 r+1} (f x)^m}{(m+2 r+1)^2}-\frac {b e^3 n x^{3 r+1} (f x)^m}{(m+3 r+1)^2} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(f*x)^m*(d + e*x^r)^3*(a + b*Log[c*x^n]),x]

[Out]

(-3*b*d^2*e*n*x^(1 + r)*(f*x)^m)/(1 + m + r)^2 - (3*b*d*e^2*n*x^(1 + 2*r)*(f*x)^m)/(1 + m + 2*r)^2 - (b*e^3*n*
x^(1 + 3*r)*(f*x)^m)/(1 + m + 3*r)^2 - (b*d^3*n*(f*x)^(1 + m))/(f*(1 + m)^2) + (3*d^2*e*x^(1 + r)*(f*x)^m*(a +
b*Log[c*x^n]))/(1 + m + r) + (3*d*e^2*x^(1 + 2*r)*(f*x)^m*(a + b*Log[c*x^n]))/(1 + m + 2*r) + (e^3*x^(1 + 3*r
)*(f*x)^m*(a + b*Log[c*x^n]))/(1 + m + 3*r) + (d^3*(f*x)^(1 + m)*(a + b*Log[c*x^n]))/(f*(1 + m))

Rule 14

Int[(u_)*((c_.)*(x_))^(m_.), x_Symbol] :> Int[ExpandIntegrand[(c*x)^m*u, x], x] /; FreeQ[{c, m}, x] && SumQ[u]
&&  !LinearQ[u, x] &&  !MatchQ[u, (a_) + (b_.)*(v_) /; FreeQ[{a, b}, x] && InverseFunctionQ[v]]

Rule 20

Int[(u_.)*((a_.)*(v_))^(m_)*((b_.)*(v_))^(n_), x_Symbol] :> Dist[b^IntPart[n]*((b*v)^FracPart[n]/(a^IntPart[n]
*(a*v)^FracPart[n])), Int[u*(a*v)^(m + n), x], x] /; FreeQ[{a, b, m, n}, x] &&  !IntegerQ[m] &&  !IntegerQ[n]
&&  !IntegerQ[m + n]

Rule 30

Int[(x_)^(m_.), x_Symbol] :> Simp[x^(m + 1)/(m + 1), x] /; FreeQ[m, x] && NeQ[m, -1]

Rule 276

Int[((c_.)*(x_))^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_.), x_Symbol] :> Int[ExpandIntegrand[(c*x)^m*(a + b*x^n)^p,
x], x] /; FreeQ[{a, b, c, m, n}, x] && IGtQ[p, 0]

Rule 2392

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))*((f_.)*(x_))^(m_.)*((d_) + (e_.)*(x_)^(r_.))^(q_.), x_Symbol] :> Wit
h[{u = IntHide[(f*x)^m*(d + e*x^r)^q, x]}, Dist[a + b*Log[c*x^n], u, x] - Dist[b*n, Int[SimplifyIntegrand[u/x,
x], x], x] /; ((EqQ[r, 1] || EqQ[r, 2]) && IntegerQ[m] && IntegerQ[q - 1/2]) || InverseFunctionFreeQ[u, x]] /
; FreeQ[{a, b, c, d, e, f, m, n, q, r}, x] && IntegerQ[2*q] && ((IntegerQ[m] && IntegerQ[r]) || IGtQ[q, 0])

Rubi steps

\begin {align*} \int (f x)^m \left (d+e x^r\right )^3 \left (a+b \log \left (c x^n\right )\right ) \, dx &=\frac {3 d^2 e x^{1+r} (f x)^m \left (a+b \log \left (c x^n\right )\right )}{1+m+r}+\frac {3 d e^2 x^{1+2 r} (f x)^m \left (a+b \log \left (c x^n\right )\right )}{1+m+2 r}+\frac {e^3 x^{1+3 r} (f x)^m \left (a+b \log \left (c x^n\right )\right )}{1+m+3 r}+\frac {d^3 (f x)^{1+m} \left (a+b \log \left (c x^n\right )\right )}{f (1+m)}-(b n) \int (f x)^m \left (\frac {d^3}{1+m}+\frac {3 d^2 e x^r}{1+m+r}+\frac {3 d e^2 x^{2 r}}{1+m+2 r}+\frac {e^3 x^{3 r}}{1+m+3 r}\right ) \, dx\\ &=\frac {3 d^2 e x^{1+r} (f x)^m \left (a+b \log \left (c x^n\right )\right )}{1+m+r}+\frac {3 d e^2 x^{1+2 r} (f x)^m \left (a+b \log \left (c x^n\right )\right )}{1+m+2 r}+\frac {e^3 x^{1+3 r} (f x)^m \left (a+b \log \left (c x^n\right )\right )}{1+m+3 r}+\frac {d^3 (f x)^{1+m} \left (a+b \log \left (c x^n\right )\right )}{f (1+m)}-(b n) \int \left (\frac {d^3 (f x)^m}{1+m}+\frac {3 d^2 e x^r (f x)^m}{1+m+r}+\frac {3 d e^2 x^{2 r} (f x)^m}{1+m+2 r}+\frac {e^3 x^{3 r} (f x)^m}{1+m+3 r}\right ) \, dx\\ &=-\frac {b d^3 n (f x)^{1+m}}{f (1+m)^2}+\frac {3 d^2 e x^{1+r} (f x)^m \left (a+b \log \left (c x^n\right )\right )}{1+m+r}+\frac {3 d e^2 x^{1+2 r} (f x)^m \left (a+b \log \left (c x^n\right )\right )}{1+m+2 r}+\frac {e^3 x^{1+3 r} (f x)^m \left (a+b \log \left (c x^n\right )\right )}{1+m+3 r}+\frac {d^3 (f x)^{1+m} \left (a+b \log \left (c x^n\right )\right )}{f (1+m)}-\frac {\left (3 b d^2 e n\right ) \int x^r (f x)^m \, dx}{1+m+r}-\frac {\left (3 b d e^2 n\right ) \int x^{2 r} (f x)^m \, dx}{1+m+2 r}-\frac {\left (b e^3 n\right ) \int x^{3 r} (f x)^m \, dx}{1+m+3 r}\\ &=-\frac {b d^3 n (f x)^{1+m}}{f (1+m)^2}+\frac {3 d^2 e x^{1+r} (f x)^m \left (a+b \log \left (c x^n\right )\right )}{1+m+r}+\frac {3 d e^2 x^{1+2 r} (f x)^m \left (a+b \log \left (c x^n\right )\right )}{1+m+2 r}+\frac {e^3 x^{1+3 r} (f x)^m \left (a+b \log \left (c x^n\right )\right )}{1+m+3 r}+\frac {d^3 (f x)^{1+m} \left (a+b \log \left (c x^n\right )\right )}{f (1+m)}-\frac {\left (3 b d^2 e n x^{-m} (f x)^m\right ) \int x^{m+r} \, dx}{1+m+r}-\frac {\left (3 b d e^2 n x^{-m} (f x)^m\right ) \int x^{m+2 r} \, dx}{1+m+2 r}-\frac {\left (b e^3 n x^{-m} (f x)^m\right ) \int x^{m+3 r} \, dx}{1+m+3 r}\\ &=-\frac {3 b d^2 e n x^{1+r} (f x)^m}{(1+m+r)^2}-\frac {3 b d e^2 n x^{1+2 r} (f x)^m}{(1+m+2 r)^2}-\frac {b e^3 n x^{1+3 r} (f x)^m}{(1+m+3 r)^2}-\frac {b d^3 n (f x)^{1+m}}{f (1+m)^2}+\frac {3 d^2 e x^{1+r} (f x)^m \left (a+b \log \left (c x^n\right )\right )}{1+m+r}+\frac {3 d e^2 x^{1+2 r} (f x)^m \left (a+b \log \left (c x^n\right )\right )}{1+m+2 r}+\frac {e^3 x^{1+3 r} (f x)^m \left (a+b \log \left (c x^n\right )\right )}{1+m+3 r}+\frac {d^3 (f x)^{1+m} \left (a+b \log \left (c x^n\right )\right )}{f (1+m)}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]
time = 0.35, size = 187, normalized size = 0.80 \begin {gather*} x (f x)^m \left (\frac {b d^3 n \log (x)}{1+m}+\frac {d^3 \left (a+a m-b n-b (1+m) n \log (x)+b (1+m) \log \left (c x^n\right )\right )}{(1+m)^2}+\frac {3 d^2 e x^r \left (-b n+a (1+m+r)+b (1+m+r) \log \left (c x^n\right )\right )}{(1+m+r)^2}+\frac {3 d e^2 x^{2 r} \left (-b n+a (1+m+2 r)+b (1+m+2 r) \log \left (c x^n\right )\right )}{(1+m+2 r)^2}+\frac {e^3 x^{3 r} \left (-b n+a (1+m+3 r)+b (1+m+3 r) \log \left (c x^n\right )\right )}{(1+m+3 r)^2}\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(f*x)^m*(d + e*x^r)^3*(a + b*Log[c*x^n]),x]

[Out]

x*(f*x)^m*((b*d^3*n*Log[x])/(1 + m) + (d^3*(a + a*m - b*n - b*(1 + m)*n*Log[x] + b*(1 + m)*Log[c*x^n]))/(1 + m
)^2 + (3*d^2*e*x^r*(-(b*n) + a*(1 + m + r) + b*(1 + m + r)*Log[c*x^n]))/(1 + m + r)^2 + (3*d*e^2*x^(2*r)*(-(b*
n) + a*(1 + m + 2*r) + b*(1 + m + 2*r)*Log[c*x^n]))/(1 + m + 2*r)^2 + (e^3*x^(3*r)*(-(b*n) + a*(1 + m + 3*r) +
b*(1 + m + 3*r)*Log[c*x^n]))/(1 + m + 3*r)^2)

________________________________________________________________________________________

Maple [C] Result contains higher order function than in optimal. Order 9 vs. order 3.
time = 1.37, size = 22706, normalized size = 97.45

method	result	size
risch	\(\text {Expression too large to display}\)	\(22706\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((f*x)^m*(d+e*x^r)^3*(a+b*ln(c*x^n)),x,method=_RETURNVERBOSE)

[Out]

result too large to display

________________________________________________________________________________________

Maxima [A]
time = 0.32, size = 331, normalized size = 1.42 \begin {gather*} -\frac {b d^{3} f^{m} n x x^{m}}{{\left (m + 1\right )}^{2}} + \frac {3 \, b d^{2} f^{m} x e^{\left (m \log \left (x\right ) + r \log \left (x\right ) + 1\right )} \log \left (c x^{n}\right )}{m + r + 1} + \frac {3 \, a d^{2} f^{m} x e^{\left (m \log \left (x\right ) + r \log \left (x\right ) + 1\right )}}{m + r + 1} - \frac {3 \, b d^{2} f^{m} n x e^{\left (m \log \left (x\right ) + r \log \left (x\right ) + 1\right )}}{{\left (m + r + 1\right )}^{2}} + \frac {3 \, b d f^{m} x e^{\left (m \log \left (x\right ) + 2 \, r \log \left (x\right ) + 2\right )} \log \left (c x^{n}\right )}{m + 2 \, r + 1} + \frac {3 \, a d f^{m} x e^{\left (m \log \left (x\right ) + 2 \, r \log \left (x\right ) + 2\right )}}{m + 2 \, r + 1} - \frac {3 \, b d f^{m} n x e^{\left (m \log \left (x\right ) + 2 \, r \log \left (x\right ) + 2\right )}}{{\left (m + 2 \, r + 1\right )}^{2}} + \frac {\left (f x\right )^{m + 1} b d^{3} \log \left (c x^{n}\right )}{f {\left (m + 1\right )}} + \frac {b f^{m} x e^{\left (m \log \left (x\right ) + 3 \, r \log \left (x\right ) + 3\right )} \log \left (c x^{n}\right )}{m + 3 \, r + 1} + \frac {\left (f x\right )^{m + 1} a d^{3}}{f {\left (m + 1\right )}} + \frac {a f^{m} x e^{\left (m \log \left (x\right ) + 3 \, r \log \left (x\right ) + 3\right )}}{m + 3 \, r + 1} - \frac {b f^{m} n x e^{\left (m \log \left (x\right ) + 3 \, r \log \left (x\right ) + 3\right )}}{{\left (m + 3 \, r + 1\right )}^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((f*x)^m*(d+e*x^r)^3*(a+b*log(c*x^n)),x, algorithm="maxima")

[Out]

-b*d^3*f^m*n*x*x^m/(m + 1)^2 + 3*b*d^2*f^m*x*e^(m*log(x) + r*log(x) + 1)*log(c*x^n)/(m + r + 1) + 3*a*d^2*f^m*
x*e^(m*log(x) + r*log(x) + 1)/(m + r + 1) - 3*b*d^2*f^m*n*x*e^(m*log(x) + r*log(x) + 1)/(m + r + 1)^2 + 3*b*d*
f^m*x*e^(m*log(x) + 2*r*log(x) + 2)*log(c*x^n)/(m + 2*r + 1) + 3*a*d*f^m*x*e^(m*log(x) + 2*r*log(x) + 2)/(m +
2*r + 1) - 3*b*d*f^m*n*x*e^(m*log(x) + 2*r*log(x) + 2)/(m + 2*r + 1)^2 + (f*x)^(m + 1)*b*d^3*log(c*x^n)/(f*(m
+ 1)) + b*f^m*x*e^(m*log(x) + 3*r*log(x) + 3)*log(c*x^n)/(m + 3*r + 1) + (f*x)^(m + 1)*a*d^3/(f*(m + 1)) + a*f
^m*x*e^(m*log(x) + 3*r*log(x) + 3)/(m + 3*r + 1) - b*f^m*n*x*e^(m*log(x) + 3*r*log(x) + 3)/(m + 3*r + 1)^2

________________________________________________________________________________________

Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 4049 vs. \(2 (231) = 462\).
time = 0.44, size = 4049, normalized size = 17.38 \begin {gather*} \text {Too large to display} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((f*x)^m*(d+e*x^r)^3*(a+b*log(c*x^n)),x, algorithm="fricas")

[Out]

(((b*m^7 + 7*b*m^6 + 21*b*m^5 + 12*(b*m^2 + 2*b*m + b)*r^5 + 35*b*m^4 + 40*(b*m^3 + 3*b*m^2 + 3*b*m + b)*r^4 +
35*b*m^3 + 51*(b*m^4 + 4*b*m^3 + 6*b*m^2 + 4*b*m + b)*r^3 + 21*b*m^2 + 31*(b*m^5 + 5*b*m^4 + 10*b*m^3 + 10*b*
m^2 + 5*b*m + b)*r^2 + 7*b*m + 9*(b*m^6 + 6*b*m^5 + 15*b*m^4 + 20*b*m^3 + 15*b*m^2 + 6*b*m + b)*r + b)*x*e^3*l
og(c) + (12*(b*m^2 + 2*b*m + b)*n*r^5 + 40*(b*m^3 + 3*b*m^2 + 3*b*m + b)*n*r^4 + 51*(b*m^4 + 4*b*m^3 + 6*b*m^2
+ 4*b*m + b)*n*r^3 + 31*(b*m^5 + 5*b*m^4 + 10*b*m^3 + 10*b*m^2 + 5*b*m + b)*n*r^2 + 9*(b*m^6 + 6*b*m^5 + 15*b
*m^4 + 20*b*m^3 + 15*b*m^2 + 6*b*m + b)*n*r + (b*m^7 + 7*b*m^6 + 21*b*m^5 + 35*b*m^4 + 35*b*m^3 + 21*b*m^2 + 7
*b*m + b)*n)*x*e^3*log(x) + (a*m^7 + 7*a*m^6 + 21*a*m^5 + 12*(a*m^2 + 2*a*m + a)*r^5 + 35*a*m^4 + 4*(10*a*m^3
+ 30*a*m^2 + 30*a*m - (b*m^2 + 2*b*m + b)*n + 10*a)*r^4 + 35*a*m^3 + 3*(17*a*m^4 + 68*a*m^3 + 102*a*m^2 + 68*a
*m - 4*(b*m^3 + 3*b*m^2 + 3*b*m + b)*n + 17*a)*r^3 + 21*a*m^2 + (31*a*m^5 + 155*a*m^4 + 310*a*m^3 + 310*a*m^2
+ 155*a*m - 13*(b*m^4 + 4*b*m^3 + 6*b*m^2 + 4*b*m + b)*n + 31*a)*r^2 + 7*a*m - (b*m^6 + 6*b*m^5 + 15*b*m^4 + 2
0*b*m^3 + 15*b*m^2 + 6*b*m + b)*n + 3*(3*a*m^6 + 18*a*m^5 + 45*a*m^4 + 60*a*m^3 + 45*a*m^2 + 18*a*m - 2*(b*m^5
+ 5*b*m^4 + 10*b*m^3 + 10*b*m^2 + 5*b*m + b)*n + 3*a)*r + a)*x*e^3)*x^(3*r)*e^(m*log(f) + m*log(x)) + 3*((b*d
*m^7 + 7*b*d*m^6 + 21*b*d*m^5 + 35*b*d*m^4 + 18*(b*d*m^2 + 2*b*d*m + b*d)*r^5 + 35*b*d*m^3 + 57*(b*d*m^3 + 3*b
*d*m^2 + 3*b*d*m + b*d)*r^4 + 21*b*d*m^2 + 68*(b*d*m^4 + 4*b*d*m^3 + 6*b*d*m^2 + 4*b*d*m + b*d)*r^3 + 7*b*d*m
+ 38*(b*d*m^5 + 5*b*d*m^4 + 10*b*d*m^3 + 10*b*d*m^2 + 5*b*d*m + b*d)*r^2 + b*d + 10*(b*d*m^6 + 6*b*d*m^5 + 15*
b*d*m^4 + 20*b*d*m^3 + 15*b*d*m^2 + 6*b*d*m + b*d)*r)*x*e^2*log(c) + (18*(b*d*m^2 + 2*b*d*m + b*d)*n*r^5 + 57*
(b*d*m^3 + 3*b*d*m^2 + 3*b*d*m + b*d)*n*r^4 + 68*(b*d*m^4 + 4*b*d*m^3 + 6*b*d*m^2 + 4*b*d*m + b*d)*n*r^3 + 38*
(b*d*m^5 + 5*b*d*m^4 + 10*b*d*m^3 + 10*b*d*m^2 + 5*b*d*m + b*d)*n*r^2 + 10*(b*d*m^6 + 6*b*d*m^5 + 15*b*d*m^4 +
20*b*d*m^3 + 15*b*d*m^2 + 6*b*d*m + b*d)*n*r + (b*d*m^7 + 7*b*d*m^6 + 21*b*d*m^5 + 35*b*d*m^4 + 35*b*d*m^3 +
21*b*d*m^2 + 7*b*d*m + b*d)*n)*x*e^2*log(x) + (a*d*m^7 + 7*a*d*m^6 + 21*a*d*m^5 + 35*a*d*m^4 + 18*(a*d*m^2 + 2
*a*d*m + a*d)*r^5 + 35*a*d*m^3 + 3*(19*a*d*m^3 + 57*a*d*m^2 + 57*a*d*m + 19*a*d - 3*(b*d*m^2 + 2*b*d*m + b*d)*
n)*r^4 + 21*a*d*m^2 + 4*(17*a*d*m^4 + 68*a*d*m^3 + 102*a*d*m^2 + 68*a*d*m + 17*a*d - 6*(b*d*m^3 + 3*b*d*m^2 +
3*b*d*m + b*d)*n)*r^3 + 7*a*d*m + 2*(19*a*d*m^5 + 95*a*d*m^4 + 190*a*d*m^3 + 190*a*d*m^2 + 95*a*d*m + 19*a*d -
11*(b*d*m^4 + 4*b*d*m^3 + 6*b*d*m^2 + 4*b*d*m + b*d)*n)*r^2 + a*d - (b*d*m^6 + 6*b*d*m^5 + 15*b*d*m^4 + 20*b*
d*m^3 + 15*b*d*m^2 + 6*b*d*m + b*d)*n + 2*(5*a*d*m^6 + 30*a*d*m^5 + 75*a*d*m^4 + 100*a*d*m^3 + 75*a*d*m^2 + 30
*a*d*m + 5*a*d - 4*(b*d*m^5 + 5*b*d*m^4 + 10*b*d*m^3 + 10*b*d*m^2 + 5*b*d*m + b*d)*n)*r)*x*e^2)*x^(2*r)*e^(m*l
og(f) + m*log(x)) + 3*((b*d^2*m^7 + 7*b*d^2*m^6 + 21*b*d^2*m^5 + 35*b*d^2*m^4 + 35*b*d^2*m^3 + 36*(b*d^2*m^2 +
2*b*d^2*m + b*d^2)*r^5 + 21*b*d^2*m^2 + 96*(b*d^2*m^3 + 3*b*d^2*m^2 + 3*b*d^2*m + b*d^2)*r^4 + 7*b*d^2*m + 97
*(b*d^2*m^4 + 4*b*d^2*m^3 + 6*b*d^2*m^2 + 4*b*d^2*m + b*d^2)*r^3 + b*d^2 + 47*(b*d^2*m^5 + 5*b*d^2*m^4 + 10*b*
d^2*m^3 + 10*b*d^2*m^2 + 5*b*d^2*m + b*d^2)*r^2 + 11*(b*d^2*m^6 + 6*b*d^2*m^5 + 15*b*d^2*m^4 + 20*b*d^2*m^3 +
15*b*d^2*m^2 + 6*b*d^2*m + b*d^2)*r)*x*e*log(c) + (36*(b*d^2*m^2 + 2*b*d^2*m + b*d^2)*n*r^5 + 96*(b*d^2*m^3 +
3*b*d^2*m^2 + 3*b*d^2*m + b*d^2)*n*r^4 + 97*(b*d^2*m^4 + 4*b*d^2*m^3 + 6*b*d^2*m^2 + 4*b*d^2*m + b*d^2)*n*r^3
+ 47*(b*d^2*m^5 + 5*b*d^2*m^4 + 10*b*d^2*m^3 + 10*b*d^2*m^2 + 5*b*d^2*m + b*d^2)*n*r^2 + 11*(b*d^2*m^6 + 6*b*d
^2*m^5 + 15*b*d^2*m^4 + 20*b*d^2*m^3 + 15*b*d^2*m^2 + 6*b*d^2*m + b*d^2)*n*r + (b*d^2*m^7 + 7*b*d^2*m^6 + 21*b
*d^2*m^5 + 35*b*d^2*m^4 + 35*b*d^2*m^3 + 21*b*d^2*m^2 + 7*b*d^2*m + b*d^2)*n)*x*e*log(x) + (a*d^2*m^7 + 7*a*d^
2*m^6 + 21*a*d^2*m^5 + 35*a*d^2*m^4 + 35*a*d^2*m^3 + 36*(a*d^2*m^2 + 2*a*d^2*m + a*d^2)*r^5 + 21*a*d^2*m^2 + 1
2*(8*a*d^2*m^3 + 24*a*d^2*m^2 + 24*a*d^2*m + 8*a*d^2 - 3*(b*d^2*m^2 + 2*b*d^2*m + b*d^2)*n)*r^4 + 7*a*d^2*m +
(97*a*d^2*m^4 + 388*a*d^2*m^3 + 582*a*d^2*m^2 + 388*a*d^2*m + 97*a*d^2 - 60*(b*d^2*m^3 + 3*b*d^2*m^2 + 3*b*d^2
*m + b*d^2)*n)*r^3 + a*d^2 + (47*a*d^2*m^5 + 235*a*d^2*m^4 + 470*a*d^2*m^3 + 470*a*d^2*m^2 + 235*a*d^2*m + 47*
a*d^2 - 37*(b*d^2*m^4 + 4*b*d^2*m^3 + 6*b*d^2*m^2 + 4*b*d^2*m + b*d^2)*n)*r^2 - (b*d^2*m^6 + 6*b*d^2*m^5 + 15*
b*d^2*m^4 + 20*b*d^2*m^3 + 15*b*d^2*m^2 + 6*b*d^2*m + b*d^2)*n + (11*a*d^2*m^6 + 66*a*d^2*m^5 + 165*a*d^2*m^4
+ 220*a*d^2*m^3 + 165*a*d^2*m^2 + 66*a*d^2*m + 11*a*d^2 - 10*(b*d^2*m^5 + 5*b*d^2*m^4 + 10*b*d^2*m^3 + 10*b*d^
2*m^2 + 5*b*d^2*m + b*d^2)*n)*r)*x*e)*x^r*e^(m*log(f) + m*log(x)) + ((b*d^3*m^7 + 7*b*d^3*m^6 + 21*b*d^3*m^5 +
35*b*d^3*m^4 + 35*b*d^3*m^3 + 36*(b*d^3*m + b*d^3)*r^6 + 21*b*d^3*m^2 + 132*(b*d^3*m^2 + 2*b*d^3*m + b*d^3)*r
^5 + 7*b*d^3*m + 193*(b*d^3*m^3 + 3*b*d^3*m^2 + 3*b*d^3*m + b*d^3)*r^4 + b*d^3 + 144*(b*d^3*m^4 + 4*b*d^3*m^3
+ 6*b*d^3*m^2 + 4*b*d^3*m + b*d^3)*r^3 + 58*(b*...

________________________________________________________________________________________

Sympy [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: SystemError} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((f*x)**m*(d+e*x**r)**3*(a+b*ln(c*x**n)),x)

[Out]

Exception raised: SystemError >> excessive stack use: stack is 3004 deep

________________________________________________________________________________________

Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 766 vs. \(2 (231) = 462\).
time = 4.59, size = 766, normalized size = 3.29 \begin {gather*} \frac {3 \, b d^{2} f^{m} m n x x^{m} x^{r} e \log \left (x\right )}{m^{2} + 2 \, m r + r^{2} + 2 \, m + 2 \, r + 1} + \frac {3 \, b d^{2} f^{m} n r x x^{m} x^{r} e \log \left (x\right )}{m^{2} + 2 \, m r + r^{2} + 2 \, m + 2 \, r + 1} + \frac {b d^{3} f^{m} m n x x^{m} \log \left (x\right )}{m^{2} + 2 \, m + 1} + \frac {3 \, b d f^{m} m n x x^{m} x^{2 \, r} e^{2} \log \left (x\right )}{m^{2} + 4 \, m r + 4 \, r^{2} + 2 \, m + 4 \, r + 1} + \frac {6 \, b d f^{m} n r x x^{m} x^{2 \, r} e^{2} \log \left (x\right )}{m^{2} + 4 \, m r + 4 \, r^{2} + 2 \, m + 4 \, r + 1} + \frac {3 \, b d^{2} f^{m} n x x^{m} x^{r} e \log \left (x\right )}{m^{2} + 2 \, m r + r^{2} + 2 \, m + 2 \, r + 1} - \frac {3 \, b d^{2} f^{m} n x x^{m} x^{r} e}{m^{2} + 2 \, m r + r^{2} + 2 \, m + 2 \, r + 1} + \frac {3 \, b d^{2} f^{m} x x^{m} x^{r} e \log \left (c\right )}{m + r + 1} + \frac {b d^{3} f^{m} n x x^{m} \log \left (x\right )}{m^{2} + 2 \, m + 1} + \frac {b f^{m} m n x x^{m} x^{3 \, r} e^{3} \log \left (x\right )}{m^{2} + 6 \, m r + 9 \, r^{2} + 2 \, m + 6 \, r + 1} + \frac {3 \, b f^{m} n r x x^{m} x^{3 \, r} e^{3} \log \left (x\right )}{m^{2} + 6 \, m r + 9 \, r^{2} + 2 \, m + 6 \, r + 1} + \frac {3 \, b d f^{m} n x x^{m} x^{2 \, r} e^{2} \log \left (x\right )}{m^{2} + 4 \, m r + 4 \, r^{2} + 2 \, m + 4 \, r + 1} - \frac {b d^{3} f^{m} n x x^{m}}{m^{2} + 2 \, m + 1} - \frac {3 \, b d f^{m} n x x^{m} x^{2 \, r} e^{2}}{m^{2} + 4 \, m r + 4 \, r^{2} + 2 \, m + 4 \, r + 1} + \frac {3 \, a d^{2} f^{m} x x^{m} x^{r} e}{m + r + 1} + \frac {3 \, b d f^{m} x x^{m} x^{2 \, r} e^{2} \log \left (c\right )}{m + 2 \, r + 1} + \frac {b f^{m} n x x^{m} x^{3 \, r} e^{3} \log \left (x\right )}{m^{2} + 6 \, m r + 9 \, r^{2} + 2 \, m + 6 \, r + 1} - \frac {b f^{m} n x x^{m} x^{3 \, r} e^{3}}{m^{2} + 6 \, m r + 9 \, r^{2} + 2 \, m + 6 \, r + 1} + \frac {3 \, a d f^{m} x x^{m} x^{2 \, r} e^{2}}{m + 2 \, r + 1} + \frac {\left (f x\right )^{m} b d^{3} x \log \left (c\right )}{m + 1} + \frac {b f^{m} x x^{m} x^{3 \, r} e^{3} \log \left (c\right )}{m + 3 \, r + 1} + \frac {\left (f x\right )^{m} a d^{3} x}{m + 1} + \frac {a f^{m} x x^{m} x^{3 \, r} e^{3}}{m + 3 \, r + 1} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((f*x)^m*(d+e*x^r)^3*(a+b*log(c*x^n)),x, algorithm="giac")

[Out]

3*b*d^2*f^m*m*n*x*x^m*x^r*e*log(x)/(m^2 + 2*m*r + r^2 + 2*m + 2*r + 1) + 3*b*d^2*f^m*n*r*x*x^m*x^r*e*log(x)/(m
^2 + 2*m*r + r^2 + 2*m + 2*r + 1) + b*d^3*f^m*m*n*x*x^m*log(x)/(m^2 + 2*m + 1) + 3*b*d*f^m*m*n*x*x^m*x^(2*r)*e
^2*log(x)/(m^2 + 4*m*r + 4*r^2 + 2*m + 4*r + 1) + 6*b*d*f^m*n*r*x*x^m*x^(2*r)*e^2*log(x)/(m^2 + 4*m*r + 4*r^2
+ 2*m + 4*r + 1) + 3*b*d^2*f^m*n*x*x^m*x^r*e*log(x)/(m^2 + 2*m*r + r^2 + 2*m + 2*r + 1) - 3*b*d^2*f^m*n*x*x^m*
x^r*e/(m^2 + 2*m*r + r^2 + 2*m + 2*r + 1) + 3*b*d^2*f^m*x*x^m*x^r*e*log(c)/(m + r + 1) + b*d^3*f^m*n*x*x^m*log
(x)/(m^2 + 2*m + 1) + b*f^m*m*n*x*x^m*x^(3*r)*e^3*log(x)/(m^2 + 6*m*r + 9*r^2 + 2*m + 6*r + 1) + 3*b*f^m*n*r*x
*x^m*x^(3*r)*e^3*log(x)/(m^2 + 6*m*r + 9*r^2 + 2*m + 6*r + 1) + 3*b*d*f^m*n*x*x^m*x^(2*r)*e^2*log(x)/(m^2 + 4*
m*r + 4*r^2 + 2*m + 4*r + 1) - b*d^3*f^m*n*x*x^m/(m^2 + 2*m + 1) - 3*b*d*f^m*n*x*x^m*x^(2*r)*e^2/(m^2 + 4*m*r
+ 4*r^2 + 2*m + 4*r + 1) + 3*a*d^2*f^m*x*x^m*x^r*e/(m + r + 1) + 3*b*d*f^m*x*x^m*x^(2*r)*e^2*log(c)/(m + 2*r +
1) + b*f^m*n*x*x^m*x^(3*r)*e^3*log(x)/(m^2 + 6*m*r + 9*r^2 + 2*m + 6*r + 1) - b*f^m*n*x*x^m*x^(3*r)*e^3/(m^2
+ 6*m*r + 9*r^2 + 2*m + 6*r + 1) + 3*a*d*f^m*x*x^m*x^(2*r)*e^2/(m + 2*r + 1) + (f*x)^m*b*d^3*x*log(c)/(m + 1)
+ b*f^m*x*x^m*x^(3*r)*e^3*log(c)/(m + 3*r + 1) + (f*x)^m*a*d^3*x/(m + 1) + a*f^m*x*x^m*x^(3*r)*e^3/(m + 3*r +
1)

________________________________________________________________________________________

Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int {\left (f\,x\right )}^m\,{\left (d+e\,x^r\right )}^3\,\left (a+b\,\ln \left (c\,x^n\right )\right ) \,d x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((f*x)^m*(d + e*x^r)^3*(a + b*log(c*x^n)),x)

[Out]

int((f*x)^m*(d + e*x^r)^3*(a + b*log(c*x^n)), x)

________________________________________________________________________________________